"Carlos A. Di Prisco" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Methods in Mathematical Logic

Carlos A. Di Prisco

17.74 Mb

#2

Methods in mathematical logic. Proc. of 6th Latin American Symposium on Mathematical Logic, Caracas, Venezuela, 1983 (LNM1130, Springer 1985)

Carlos A. Di Prisco

Категория: Lecture notes

2.47 Mb